WaHoKe Free (Sokoban in A

What is WaHoKe? It is just abbreviation for WAreHOuse KEeper. And "warehouse keeper" is just transla